Nuprl Definition : ndiff 13,42
a -- b == imax(a - b;0) 
latex

Upint 2, int 2
Wellformedness Lemmasndiff wf, ndiff wf
Definitionsimax(a;b), n - m, #$n
FDL editor aliasesndiff

origin